Trace Semantics of Interactions in UML 2.0
نویسنده
چکیده
The Unified Modeling Language (UML, see [27]) is the industry standard for modeling software intensive systems. Recently, the standard has been upgraded from version 1.5 to 2.0, introducing significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [13, 12]) have been integrated. In UML, the concept underlying these notations is called interaction. This article examines UML interactions by defining a formal, yet straightforward trace semantics, including time, with a view to refinement.
منابع مشابه
Semantics of interactions in UML 2.0
The recent major revision of the UML (see [4]) has introduced significant changes and additions. In particular, Message Sequence Charts (MSC) according to the ISO standard (see [2])have been integrated. In UML, the concept underlying these notations is called interaction. In this paper I shall look at its definition, defining a formal, yet straightforward trace semantics, including time.
متن کاملSemantics of UML 2.0 Interactions with Variabilities
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this way, UML 2.0 interactions can be used in the conception and development of system families within domain and application engineering tasks. Following the transition from domain to application engineering as a configurat...
متن کاملSpecifying Policies Using UML Interactions – An Evaluation Based on a Case Study
This report provides a case study based evaluation of UML sequence diagrams as a notation for policy specification. Policy rules are defined on the basis of deontic logic, and we provide these with a trace based semantics interpreted over Kripke structures. This gives a semantics along the line of the UML trace semantics for sequence diagrams, which is utilized in the evaluation. The focus is o...
متن کاملSystem model for UML -- The interactions case
Previous works define the notion of system model, which provides a formal basis for the definition of the semantics of a distributed object-oriented modelling language. This article addresses the UML 2.0 interactions and their meaning in terms of a system model. One denotational and two operational approaches are discussed. These are based on existing proposals for the semantics of interactions...
متن کاملA Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
In this paper we introduce an aspect language that can define crosscutting e ects on a set of UML 2.0 sequence diagrams. The aspects and sequence diagrams are woven at the model level. By basing the weaving upon a formal trace model for sequence diagrams, we ensure that the weaving is semantics-based. We propose the arbitrary events symbol as a wildcard mechanism to express zero or more events ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004